#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
int main()
{
    float a = 0.0;
    int b = 0;
    int c = 0;
    int d = 0;
    scanf("%f %d %d %d", &a, &b, &c, &d);
    if (b == 11 && c == 11)
        a = 0.7 * a;
    else if (b == 12 && c == 12)
        a = 0.8 * a;
    if (d == 1)
        a = a - 50;
    if (a < 0)
        a = 0;
    printf("%.2f", a);
    return 0;
}

//int main()
//{
//    int n = 0;
//    while (scanf("%d", &n) != EOF)
//    {
//        int k = 0;
//        int j = 1;
//        for (k = 0; k < n; k++)
//        {
//            int i = 0;
//            for (i = n - j; i > 0; i--)
//            {
//                printf("  ");
//            }
//            for (i = 0; i < j; i++)
//            {
//                printf("* ");
//            }
//            j++;
//            printf("\n");
//        }
//    }
//    return 0;
//}

//#include<math.h>
//int main()
//{
//    long long n = 0;
//    int ret = 0;
//    int i = 0;
//    scanf("%lld", &n);
//    while (n)
//    {
//        int x = n % 10;
//        if (x % 2 == 0)
//            x = 0;
//        else
//            x = 1;
//        ret += x * pow(10, i++);
//        n /= 10;
//    }
//    printf("%d", ret);
//    return 0;
//}

//int main()
//{
//    int n = 0;
//    int m = 0;
//    scanf("%d%d", &n, &m);
//    int arr1[n];
//    int arr2[m];
//    int i = 0;
//    int j = 0;
//    for (i = 0; i < n; i++)
//    {
//        scanf("%d", &arr1[i]);
//    }
//    for (i = 0; i < m; i++)
//    {
//        scanf("%d", &arr2[i]);
//    }
//    i = 0;
//    while (i < n && j < m)
//    {
//        if (arr1[i] < arr2[j])
//        {
//            printf("%d ", arr1[i]);
//            i++;
//        }
//        else
//        {
//            printf("%d ", arr2[j]);
//            j++;
//        }
//    }
//    if (i == n && j < m)
//        for (; j < m; j++)
//            printf("%d ", arr2[j]);
//    else
//        for (; i < n; i++)
//            printf("%d ", arr1[i]);
//    return 0;
//}

//int main()
//{
//	int n = 20;
//	int sum = 20;
//	while (n / 2)
//	{
//		n /= 2;
//		sum += n;
//	}
//	if (n == 1)
//		sum += 1;
//	printf("%d", sum);
//	return 0;
//}

//int main()
//{
//	int line = 7;
//	int i = 0;
//	for (i = 0; i < line; i++)
//	{
//		int j = 0;
//		for (j = 0; j < line - 1 - i; j++)
//		{
//			printf(" ");
//		}
//		for (j = 0; j < 2 * i + 1; j++)
//		{
//			printf("*");
//		}
//		printf("\n");
//	}
//	for (i = 0; i < line - 1; i++)
//	{
//		int j = 0;
//		for (j = 0; j <= i; j++)
//		{
//			printf(" ");
//		}
//		for (j = 0; j < 2 * (line - 1 - i) - 1; j++)
//		{
//			printf("*");
//		}
//		printf("\n");
//	}
//	return 0;
//}

//#include<math.h>
//int main()
//{
//	int i = 0;
//	for (i = 0; i < 100000; i++)
//	{
//		int count = 1;
//		int tmp = i;
//		int sum = 0;
//		while (tmp / 10)
//		{
//			count++;
//			tmp = tmp / 10;
//		}
//		tmp = i;
//		while (tmp)
//		{
//			sum += pow(tmp % 10, count);
//			tmp = tmp / 10;
//		}
//		if (sum == i)
//			printf("%d ", i);
//	}
//	return 0;
//}

//int main()
//{
//	int a = 0;
//	int sn = 0;
//	scanf("%d", &a);
//	int i = 0;
//	int b = a;
//	for (i = 0; i < 5; i++)
//	{
//		sn += a;
//		a = a * 10 + b;
//	}
//	printf("%d", sn);
//	return 0;
//}

//#include<string.h>
//int main()
//{
//    char str[10000];
//    gets(str);
//    int len = strlen(str) - 1;
//    int i = 0;
//    while (i < len)
//    {
//        char ch = str[i];
//        str[i] = str[len];
//        str[len] = ch;
//        i++;
//        len--;
//    }
//    printf("%s", str);
//    return 0;
//}

//void print(int* parr, int n)
//{
//	int i = 0;
//	for (i = 0; i < n; i++)
//	{
//		printf("%d ", *(parr + i));
//	}
//}
//int main()
//{
//	int arr[5] = { 1,2,3,4,5 };
//	print(arr, 5);
//	return 0;
//}

//int main()
//{
//    int a = 0x11223344;
//    char* pc = (char*)&a;
//    *pc = 0;
//    printf("%x\n", a);
//    return 0;
//}

//int main()
//{
//    int arr[] = { 1,2,3,4,5 };
//    short* p = (short*)arr;
//    int i = 0;
//    for (i = 0; i < 4; i++)
//    {
//        *(p + i) = 0;
//    }
//
//    for (i = 0; i < 5; i++)
//    {
//        printf("%d ", arr[i]);
//    }
//    return 0;
//}